Hausdorff Center for Mathematics Hausdorff Center for Mathematics 6:33 6 years ago 14 054 Скачать Далее
Interview with Bjorn Poonen on the occasion of Gerd Faltings' 70th birthday Hausdorff Center for Mathematics 4:46 12 days ago 218 Скачать Далее
Trimester-Programm des Bonner Hausdorff Research Institute for Mathematics Universität Bonn 2:51 11 years ago 771 Скачать Далее
Interview with our YAM fellows Blen and Leolin Hausdorff Center for Mathematics 42:11 2 months ago 162 Скачать Далее
A beautiful world beyond hyperbolic geometry: Anosov representations and higher Teichmüller spaces Banach Center 1:11:30 2 days ago 63 Скачать Далее
Raheleh Jalali: On the Completeness of Interpolation Algorithms Hausdorff Center for Mathematics 21:56 3 weeks ago 47 Скачать Далее
Fabian Huch: Big Math Libraries in ITPs Hausdorff Center for Mathematics 34:43 1 month ago 104 Скачать Далее
Mathematik ist in Musik - Mathematics is in Music Hausdorff Center for Mathematics 0:14 4 years ago 4 619 Скачать Далее
Interview with Christian Liedtke on the occasion of Gerd Faltings' 70th birthday Hausdorff Center for Mathematics 6:43 2 days ago 133 Скачать Далее
Wojciech Nawrocki: Commutative diagrams in Lean (Demo) Hausdorff Center for Mathematics 22:45 1 month ago 113 Скачать Далее
Panorama of Mathematics - Interview with Martin Hairer Hausdorff Center for Mathematics 7:40 10 months ago 1 050 Скачать Далее
Marco Caminati: Challenges in formalising recent results in formal language theory Hausdorff Center for Mathematics 50:45 3 weeks ago 104 Скачать Далее
Andrej Bauer & Mario Carneiro: Type universes Hausdorff Center for Mathematics 52:58 3 months ago 677 Скачать Далее
Lawrence Paulson: Formalising Advanced Mathematics in Isabelle/HOL Hausdorff Center for Mathematics 33:34 2 months ago 167 Скачать Далее